Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
201	Directed Explicit-State Model Checking - Dagstuhl, Nov. 9, 2001 Stefan Leue Albert-Ludwigs-Universität Freiburg Institut für Informatik tele Research Group for Computer Networks and Telematics Add to Reading List Source URL: tele.informatik.uni-freiburg.de Language: English - Date: 2001-11-09 18:19:08 T1 SPIN model checker Linear temporal logic Temporal logic Model checking
202	TANGENTIAL DERIVATIVES PROVIDING A MEAN-VALUE FORMULA LAURENT MOONENS Abstract. We provide a simple example showing that the tangential derivative of a continuous function φ can vanish everywhere along a Add to Reading List Source URL: www.uclouvain.be Language: English - Date: 2014-02-09 15:33:57 Theoretical physics Spectral theory Mathematical logic Spectral theory of ordinary differential equations Linear temporal logic Mathematics Operator theory Mathematical analysis
203	June 22, 2009 — Final version for the proceedings of CSL’09 Expanding the realm of systematic proof theory Agata Ciabattoni1 , Lutz Straßburger2 , and Kazushige Terui3 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-06-23 06:51:18 Mathematics Sequent calculus Intuitionistic logic Cut-elimination theorem Interpretation Sequent Structural rule Propositional calculus Linear logic Logic Mathematical logic Proof theory
204	On Pebble Automata for Data Languages with Decidable Emptiness ProblemI,II Tony Tan School of Informatics, University of Edinburgh Abstract Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2013-09-27 07:35:34 Computer science Pebble automaton Regular language Turing machine Linear temporal logic Ω-automaton Automata theory Theory of computation Theoretical computer science
205	CRITICAL THRESHOLDS IN 1D EULER EQUATIONS WITH NONLOCAL FORCES ´ A. CARRILLO, YOUNG-PIL CHOI, EITAN TADMOR, AND CHANGHUI TAN JOSE Abstract. We study the critical thresholds for the compressible pressureless Euler equati Add to Reading List Source URL: www.cscamm.umd.edu Language: English - Date: 2015-05-24 00:13:48 Distribution Functional analysis Dirac delta function Euler equations Siméon Denis Poisson Spectral theory of ordinary differential equations Linear temporal logic Mathematical analysis Generalized functions Fourier analysis
206	Tales of Shape and Radiance in Multi-view Stereo Stefano Soatto† Anthony J. Yezzi‡ Hailin Jin†∗ Add to Reading List Source URL: vision.ucla.edu Language: English - Date: 2007-09-06 19:43:30 Harmonic analysis Representation theory of finite groups Linear temporal logic Heat transfer Calculus of variations Radiance
207	Temporal Logic in a Stochastic Environment B. Strulo P.G. Harrisony D. Gabbay Department of Computing Imperial College LONDON SW7 2BZ Abstract Add to Reading List Source URL: pubs.doc.ic.ac.uk Language: English - Date: 2011-11-15 09:34:37 Boolean algebra Non-classical logic Logical connectives Modal logic Philosophical logic Markov chain Linear temporal logic Negation IP Logic Mathematical logic Propositional calculus
208	Comparison Geometry MSRI Publications Volume 30, 1997 Collapsing with No Proper Extremal Subsets G. PERELMAN Add to Reading List Source URL: library.msri.org Language: English - Date: 1998-06-23 18:39:34 Differential topology Mathematics Differentiable manifold Fiber bundle Diffeomorphism Riemannian manifold Sheaf Differential geometry Linear temporal logic Topology Algebraic topology Abstract algebra
209	Theories of coalitional rationality∗ Attila Ambrus† Abstract This paper generalizes the concept of best response to coalitions of players and oﬀers epistemic definitions of coalitional rationalizability in normal f Add to Reading List Source URL: public.econ.duke.edu Language: English - Date: 2012-08-28 11:36:22 Science Cooperative game Sheaf Function Entailment Interpretation Nash equilibrium Solution concept Linear temporal logic Logic Game theory Mathematics
210	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics

UPDATE